dummy quantifier

См. также в других словарях:

• Dummy pronoun — A dummy pronoun (formally: expletive pronoun or pleonastic pronoun) is a type of pronoun used in non pro drop languages, such as English. It is used when a particular verb argument (or preposition) is nonexistent (it could also be unknown,… …   Wikipedia

• True quantified Boolean formula — The language TQBF is a formal language in computer science that contains True Quantified Boolean Formulas. A fully quantified boolean formula is a formula in first order logic where every variable is quantified (or bound), using either… …   Wikipedia

• Quantification — has two distinct meanings.In mathematics and empirical science, it refers to human acts, known as counting and measuring that map human sense observations and experiences into members of some set of numbers. Quantification in this sense is… …   Wikipedia

• Von Neumann–Bernays–Gödel set theory — In the foundations of mathematics, von Neumann–Bernays–Gödel set theory (NBG) is an axiomatic set theory that is a conservative extension of the canonical axiomatic set theory ZFC. A statement in the language of ZFC is provable in NBG if and only …   Wikipedia

• Donkey pronoun — A donkey pronoun is a pronoun that is bound in semantics but not syntax.[1][2] Some writers prefer the term donkey anaphora, since it is the referential aspects and discourse or syntactic context that are of interest to researchers (see anaphora) …   Wikipedia

• Auxiliary verb — In linguistics, an auxiliary verb is a verb that gives further semantic or syntactic information about a main or full verb. In English, the extra meaning provided by an auxiliary verb alters the basic meaning of the main verb to make it have one… …   Wikipedia

• Copula (linguistics) — To be redirects here. For the song, see To Be. For to be, or not to be , see To be, or not to be. In linguistics, a copula (plural: copulae or copulas) is a word used to link the subject of a sentence with a predicate (a subject complement). The… …   Wikipedia

• Pro-form — A pro form is a type of function word or expression that stands in for (expresses the same content as) another word, phrase, clause or sentence where the meaning is recoverable from the context. They are used either to avoid repetitive… …   Wikipedia

• Verb — This article is about the part of speech. For the physical activity program, see VERB (program). For English usage of verbs, see English verbs. Verbs redirects here. For the Christian gospel rapper, see Verbs (rapper). Examples I washed the car… …   Wikipedia

• Generalized geography — In computational complexity theory, generalized geography is a problem that can be proven to be PSPACE Complete.IntroductionGeography is a childs game, which is good for a long car trip, where players take turns naming cities from anywhere in the …   Wikipedia

• Article (grammar) — For articles in English, see English articles. Definite article redirects here. For the Eddie Izzard comedy DVD, see Definite Article. An article (abbreviated art) is a word that combines with a noun to indicate the type of reference being made… …   Wikipedia